ReP USP - Resultado da busca

Tese (Doutorado)
Quantification in description logics of typicality (2023)
Câmara, Igor de Camargo e Souza; Wassermann, Renata (Orientador)
Unidade: IME
Subjects: WEB SEMÂNTICA, REPRESENTAÇÃO DE CONHECIMENTO, SEMÂNTICA, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CÂMARA, Igor de Camargo e Souza. Quantification in description logics of typicality. 2023. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092023-181200/. Acesso em: 20 maio 2024.
APA
Câmara, I. de C. e S. (2023). Quantification in description logics of typicality (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092023-181200/
NLM
Câmara I de C e S. Quantification in description logics of typicality [Internet]. 2023 ;[citado 2024 maio 20 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092023-181200/
Vancouver
Câmara I de C e S. Quantification in description logics of typicality [Internet]. 2023 ;[citado 2024 maio 20 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092023-181200/
Tese (Doutorado)
Studies on non-prioritized multiple belief revision (2021)
Resina, Fillipe Manoel Xavier ; Wassermann, Renata (Orientador)
Unidade: IME
Subjects: REVISÃO DE CRENÇAS, REPRESENTAÇÃO DE CONHECIMENTO, ONTOLOGIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RESINA, Fillipe Manoel Xavier. Studies on non-prioritized multiple belief revision. 2021. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17122021-115606/. Acesso em: 20 maio 2024.
APA
Resina, F. M. X. (2021). Studies on non-prioritized multiple belief revision (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17122021-115606/
NLM
Resina FMX. Studies on non-prioritized multiple belief revision [Internet]. 2021 ;[citado 2024 maio 20 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17122021-115606/
Vancouver
Resina FMX. Studies on non-prioritized multiple belief revision [Internet]. 2021 ;[citado 2024 maio 20 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17122021-115606/
Dissertação (Mestrado)
Pseudo-contraction operations for description logics (2021)
Matos, Vinícius Bitencourt ; Wassermann, Renata (Orientador)
Unidade: IME
Subjects: ONTOLOGIAS, REVISÃO DE CRENÇAS, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MATOS, Vinícius Bitencourt. Pseudo-contraction operations for description logics. 2021. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/. Acesso em: 20 maio 2024.
APA
Matos, V. B. (2021). Pseudo-contraction operations for description logics (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/
NLM
Matos VB. Pseudo-contraction operations for description logics [Internet]. 2021 ;[citado 2024 maio 20 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/
Vancouver
Matos VB. Pseudo-contraction operations for description logics [Internet]. 2021 ;[citado 2024 maio 20 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/
Tese (Doutorado)
Belief change without compactness (2020)
Santos, Jandson Santos Ribeiro; Wassermann, Renata (Orientador)
Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Jandson Santos Ribeiro. Belief change without compactness. 2020. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/. Acesso em: 20 maio 2024.
APA
Santos, J. S. R. (2020). Belief change without compactness (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/
NLM
Santos JSR. Belief change without compactness [Internet]. 2020 ;[citado 2024 maio 20 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/
Vancouver
Santos JSR. Belief change without compactness [Internet]. 2020 ;[citado 2024 maio 20 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/
Dissertação (Mestrado)
OntoMongo: um método de acesso a dados da Plataforma Lattes baseado em ontologias e sistemas NoSQL (2017)
Araujo, Thiago Henrique Dias; Wassermann, Renata (Orientador)
Unidade: IME
Subjects: ONTOLOGIAS, PLATAFORMA DIGITAL, GERENCIADORES DE BANCO DE DADOS, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARAUJO, Thiago Henrique Dias. OntoMongo: um método de acesso a dados da Plataforma Lattes baseado em ontologias e sistemas NoSQL. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113608/. Acesso em: 20 maio 2024.
APA
Araujo, T. H. D. (2017). OntoMongo: um método de acesso a dados da Plataforma Lattes baseado em ontologias e sistemas NoSQL (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113608/
NLM
Araujo THD. OntoMongo: um método de acesso a dados da Plataforma Lattes baseado em ontologias e sistemas NoSQL [Internet]. 2017 ;[citado 2024 maio 20 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113608/
Vancouver
Araujo THD. OntoMongo: um método de acesso a dados da Plataforma Lattes baseado em ontologias e sistemas NoSQL [Internet]. 2017 ;[citado 2024 maio 20 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113608/
Dissertação (Mestrado)
Utilização de ontologias para busca em base de dados de acórdãos do STF (2017)
Oliveira, Rafael Brito de; Wassermann, Renata (Orientador)
Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, ONTOLOGIAS, WEB SEMÂNTICA, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Rafael Brito de. Utilização de ontologias para busca em base de dados de acórdãos do STF. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-24012018-110738/. Acesso em: 20 maio 2024.
APA
Oliveira, R. B. de. (2017). Utilização de ontologias para busca em base de dados de acórdãos do STF (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-24012018-110738/
NLM
Oliveira RB de. Utilização de ontologias para busca em base de dados de acórdãos do STF [Internet]. 2017 ;[citado 2024 maio 20 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-24012018-110738/
Vancouver
Oliveira RB de. Utilização de ontologias para busca em base de dados de acórdãos do STF [Internet]. 2017 ;[citado 2024 maio 20 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-24012018-110738/
Dissertação (Mestrado)
Revisão de crenças em ACTL usando verificação de modelos limitada (2017)
Hora, Bruno Vercelino da; Finger, Marcelo (Orientador)
Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, HEURÍSTICA, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HORA, Bruno Vercelino da. Revisão de crenças em ACTL usando verificação de modelos limitada. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02102017-114414/. Acesso em: 20 maio 2024.
APA
Hora, B. V. da. (2017). Revisão de crenças em ACTL usando verificação de modelos limitada (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02102017-114414/
NLM
Hora BV da. Revisão de crenças em ACTL usando verificação de modelos limitada [Internet]. 2017 ;[citado 2024 maio 20 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02102017-114414/
Vancouver
Hora BV da. Revisão de crenças em ACTL usando verificação de modelos limitada [Internet]. 2017 ;[citado 2024 maio 20 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02102017-114414/
Dissertação (Mestrado)
Typicality in description logics (2014)
Curado, José David Fernández; Wassermann, Renata (Orientador)
Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CURADO, José David Fernández. Typicality in description logics. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113318/. Acesso em: 20 maio 2024.
APA
Curado, J. D. F. (2014). Typicality in description logics (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113318/
NLM
Curado JDF. Typicality in description logics [Internet]. 2014 ;[citado 2024 maio 20 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113318/
Vancouver
Curado JDF. Typicality in description logics [Internet]. 2014 ;[citado 2024 maio 20 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113318/
Tese (Doutorado)
Um modelo para interoperabilidade entre instituições heterogêneas (2012)
Araújo, Claudia Josimar Abrão de; Silva, Flávio Soares Corrêa da (Orientador)
Unidade: IME
Assunto: REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARAÚJO, Claudia Josimar Abrão de. Um modelo para interoperabilidade entre instituições heterogêneas. 2012. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-08022013-111002/. Acesso em: 20 maio 2024.
APA
Araújo, C. J. A. de. (2012). Um modelo para interoperabilidade entre instituições heterogêneas (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-08022013-111002/
NLM
Araújo CJA de. Um modelo para interoperabilidade entre instituições heterogêneas [Internet]. 2012 ;[citado 2024 maio 20 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-08022013-111002/
Vancouver
Araújo CJA de. Um modelo para interoperabilidade entre instituições heterogêneas [Internet]. 2012 ;[citado 2024 maio 20 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-08022013-111002/
Tese (Doutorado)
Um modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicos (2012)
Noriega Guerra, Crhistian Alberto; Silva, Flávio Soares Corrêa da (Orientador)
Unidade: IME
Assunto: REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NORIEGA GUERRA, Crhistian Alberto. Um modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicos. 2012. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-14012013-093558/. Acesso em: 20 maio 2024.
APA
Noriega Guerra, C. A. (2012). Um modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicos (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-14012013-093558/
NLM
Noriega Guerra CA. Um modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicos [Internet]. 2012 ;[citado 2024 maio 20 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-14012013-093558/
Vancouver
Noriega Guerra CA. Um modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicos [Internet]. 2012 ;[citado 2024 maio 20 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-14012013-093558/
Dissertação (Mestrado)
Desenvolvimento de sistemas baseados em artefatos de conhecimento. (2008)
Torres, Gustavo Enrique Salazar; Silva, Flávio Soares Corrêa da (Orientador)
Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TORRES, Gustavo Enrique Salazar. Desenvolvimento de sistemas baseados em artefatos de conhecimento. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-122718/. Acesso em: 20 maio 2024.
APA
Torres, G. E. S. (2008). Desenvolvimento de sistemas baseados em artefatos de conhecimento. (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-122718/
NLM
Torres GES. Desenvolvimento de sistemas baseados em artefatos de conhecimento. [Internet]. 2008 ;[citado 2024 maio 20 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-122718/
Vancouver
Torres GES. Desenvolvimento de sistemas baseados em artefatos de conhecimento. [Internet]. 2008 ;[citado 2024 maio 20 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-122718/

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects